Minimal Ownership for Active Objects
نویسندگان
چکیده
Active objects offer a structured approach to concurrency, encapsulating both unshared state and a thread of control. For efficient data transfer, data should be passed by reference whenever possible, but this introduces aliasing and undermines the validity of the active objects. This paper proposes a minimal variant of ownership types that preserves the required race freedom invariant yet enables data transfer by reference between active objects (that is, without copying) in many cases, and a cheap clone operation where copying is necessary. Our approach is general and should be adaptable to several existing active object systems.
منابع مشابه
Tax Avoidance and Institutional Ownership: Active vs. Passive Ownership
Income tax is one of the most important costs of companies and it is usually considered as a cost that should not be paid. One of the most noticeable and influential factors in tax avoidance is corporate ownership structure. With an emphasis on institutional ownership and its types in this paper, it is attempted to measure the effect of this ownership and its types on corporate tax avoidance. F...
متن کاملRunning Head: EXTENDED SELF: MY OBJECTS AND MPFC Extended Self: Spontaneous Activation of Medial Prefrontal Cortex by Objects that are “Mine”
The concept of extended self refers to the idea that people incorporate self-relevant others or objects into one's sense of self. Initial neural support for the notion of extended self was provided by fMRI evidence that medial prefrontal cortex (MPFC) showed greater activation while people imagined objects belonging to them compared to someone else (Kim & Johnson, 2012). The current study inves...
متن کاملSheep Cloning with Ownership Types
Object-oriented programmers often need to clone objects. Mainstream languages, such as C# and Java, typically default to shallow cloning, which copies just one object and aliases references from that object. Other languages, such as Eiffel, provide deep cloning. A deep clone is a copy of the entire object graph reachable from the cloned object, which could include many unnecessary objects. Alte...
متن کاملCues of control modulate the ascription of object ownership.
Knowing whether an object is owned and by whom is essential to avoid costly conflicts. We hypothesize that everyday interactions around objects are influenced by a minimal sense of object ownership grounded on respect of possession. In particular, we hypothesize that tracking object ownership can be influenced by any cue that predicts the establishment of individual physical control over object...
متن کاملRelaxing Ownership with Immutability
Multiple ownership [4] introduced a novel approach to managing object ownership information called “owners-as-boxes”. Each object is placed in a “box” or context and the nesting relationship between “boxes” or contexts respects the object accesses that happen during the program’s execution. No restrictions are placed on which objects are allowed to access which other objects, rather the ownersh...
متن کامل